the category of monoid actions in cpo

نویسندگان

m. mahmoudi

h. moghbeli-damaneh

چکیده

in this paper, some categorical properties of the category ${bf cpo}_{{bf act}text{-}s}$ of all {cpo $s$-acts}, cpo's equipped with actions of a monoid $s$ on them, and strict continuous action-preserving maps between them is considered. in particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. also, we show that the forgetful functor from ${bf cpo}_{{bf act}text{-}s}$ to the category of cpo's has both a left and a right adjoint.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The category of monoid actions in Cpo

In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...

متن کامل

Actions of a separately strict cpo-monoid on pointed directed complete posets

‎ In the present article‎, ‎we study some categorical properties of the category {$bf‎ Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $S$ which is‎ strict continuous in each component‎. ‎In particular‎, we show that this category is reflective and coreflective in the‎ category of $S$-cpo's‎, ‎find the free a...

متن کامل

The symmetric monoidal closed category of cpo $M$-sets

In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.

متن کامل

actions of a separately strict cpo-monoid on pointed directed complete posets

‎ in the present article‎, ‎we study some categorical properties of the category {$bf‎ cpo_{sep}$-$s$} of all {separately strict $s$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $s$ which is‎ strict continuous in each component‎. ‎in particular‎, we show that this category is reflective and coreflective in the‎ category of $s$-cpo's‎, ‎find the free a...

متن کامل

The Monoid of Queue Actions

Wemodel the behavior of a fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties such as conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership prob...

متن کامل

Relative Invariance for Monoid Actions

Let S be a topological monoid acting on the topological space M . Let J be a subset of M . Our purpose here is to study the subsets of M which correspond, under the action of S, to the relative (with respect to J) invariant control sets for control systems (see [4] section 3.3). The relation x ∼ y if y ∈ cl(Sx) and x ∈ cl(Sy) is an equivalence relation and the classes with respect to this relat...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید


عنوان ژورنال:
bulletin of the iranian mathematical society

ناشر: iranian mathematical society (ims)

ISSN 1017-060X

دوره 41

شماره 1 2015

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023